In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. I (...) start with first-order logic (FOL) with identity, and then show that its simplest modal extension (SQML, or the simplest quantified modal logic) is enough for us to formalize a minimally satisfactory theory of the concept of God. I focus exclusively on the monotheistic concept of God. (shrink)

Any plausibly just market exchange must balance two conflicting moral considerations: non-worseness (Wertheimer, 1999) and euvoluntariness (true voluntariness; Munger, 2011). We propose an analytical theory of just market exchange that partly resolves this conflict.

This paper aims of is to present Richard Rorty’s Philosophy of Education, through his analysis of the education as being divided into two distinct processes: socialization and individualization. Thereafter, it is intended to show two critiques, of conservadorism and elitism, that are addressed to these processes. Finally, a redescription of the Rorty’s positions will be proposed, by assigning a reformist character to its apparent conservatism and a private character to the supposedly elitist individualization, in order to weaken the strength of (...) those critics. (shrink)

The purpose of this paper is twofold. First, it aims at introducing the ontological argument through the analysis of five historical developments: Anselm’s argument found in the second chapter of his Proslogion, Gaunilo’s criticism of it, Descartes’ version of the ontological argument found in his Meditations on First Philosophy, Leibniz’s contribution to the debate on the ontological argument and his demonstration of the possibility of God, and Kant’s famous criticisms against the (cartesian) ontological argument. Second, it intends to critically examine (...) the enterprise of formally analyzing philosophical arguments and, as such, contribute in a small degree to the debate on the role of formalization in philosophy. My focus will be mainly on the drawbacks and limitations of such enterprise; as a guideline, I shall refer to a Carnapian, or Carnapian-like theory of argument analysis. (shrink)

When faced with the charge that a given concept of God is contradictory, the standard move among philosophers and theologians has been to try to explain away the contradiction and show that the concept of God in question is consistent. This has to do, of course, with the Law of Non-Contradiction (LNC). Another option, which has recently generated interest among logicians and analytic philosophers of religion, is to reject such a move as unnecessary and defend what might be called the (...) contradictory God thesis. To be sure, something close to that can be found in philosophers such as Pseudo-Dionysius, Thomas Aquinas and Nicolaus de Cusa. However, it is only recently that this approach has gained momentum, certainly driven by the contemporary advance of dialetheism and glut theoretic approaches in general, and paraconsistent logic. Needless to say, a standard move among defenders of the contradictory God thesis is to challenge the LNC. The argumentation, however, is seldomly framed in conceptual terms. Instead, it is mostly framed in ontological terms, as God being a contradictory entity. From this perspective, the contradictory God thesis is the thesis that God is a contradictory object. My goal in this paper is to provide a conceptual assessment of the discussion surrounding the contradictory God thesis. To achieve this, I make use of a general and hopefully non-controversial meta-theory of concepts and adopt a semantic approach rather than a metaphysical one. Within this framework, I address the following questions: What are the different ways we can understand the contradictory God thesis? What grounds are there for rejecting a contradictory concept of God? What standard moves are available to defend oneself from such criticisms and how do they relate to the LNC? What challenges do they present? As a secondary goal, the paper introduces a novel defense of the contradictory God thesis, drawing on a specific interpretation of the theology of the 16th-century Indian thinker Jīva Gosvāmī, which avoids the need to challenge the LNC. I term this approach ‘non-dialetheic mystical contradictory theism.’. (shrink)

In this chapter, Ricardo Silvestre and Alan Herbert offer a reconstruction of the Gītā’s concept of God with a focus on the relationship between God and the world. They try to explain the claim that the Gītā is panentheistic. This is done with the help of some key notions of contemporary metaphysics (such as ontological dependence and fundamentality) along with the Indic notion of prakṛti, considered as a metaphysical primitive denoting the intimate relationship that exists between matter and conscious (...) living beings on the one hand, and God on the other. (shrink)

This is the book of abstracts of the 19th Brazilian Logic Conferences. The Brazilian Logic Conferences (EBL) is one of the most traditional logic conferences in South America. Organized by the Brazilian Logic Society (SBL), its main goal is to promote the dissemination of research in logic in a broad sense. It has been occurring since 1979, congregating logicians of different fields — mostly philosophy, mathematics and computer science — and with different backgrounds — from undergraduate students to senior researchers. (...) The meeting is an important moment for the Brazilian and South American logical community to join together and discuss recent developments of the field. The areas of logic covered in the conference spread over foundations and philosophy of science, analytic philosophy, philosophy and history of logic, mathematics, computer science, informatics, linguistics and artificial intelligence. Previous editions of the EBL have been a great success, attracting researchers from all over Latin America and elsewhere. -/- The 19th edition of EBL takes place from May 6-10, 2019, in the beautiful city of João Pessoa, at the northeast coast of Brazil. It is conjointly organized by Federal University of Paraíba (UFPB), whose main campus is located in João Pessoa, Federal University of Campina Grande (UFCG), whose main campus is located in the nearby city of Campina Grande (the second-largest city in Paraíba state) and SBL. It is sponsored by UFPB, UFCG, the Brazilian Council for Scientific and Technological Development (CNPq) and the State Ministry of Education, Science and Technology of Paraíba. It takes place at Hotel Luxxor Nord Tambaú, privileged located right in front Tambaú beach, one of João Pessoa’s most famous beaches. (shrink)

O objetivo deste artigo é analisar o conceito de yoga da Bhagavad-gītā. Cinco concepções de yoga encontradas no texto são descritas: yoga enquanto disciplina ou prática, yoga enquanto disciplina qualificada, yoga enquanto estado mental de equanimidade e renúncia, yoga enquanto estado de união e yoga enquanto poder místico. As relações existentes entre essas concepções são explicitadas e o que podemos chamar de a estrutura do yoga na Bhagavad-gītā é pormenorizada.

Este artigo apresenta a teoria supervalorativista da vagueza e discute a objecção, que frequentemente lhe é dirigida, segundo a qual essa teoria não consegue dar conta do fenómeno da vagueza de ordem superior.

This paper aims at examining the issue of the role of supreme being theology in non-Abrahamic traditions. According to the dominant view in contemporary philosophy of religion, the philo-sophical project of inferring divine properties from the concept of God as a maximally perfect being, usually called supreme being theology, is an exclusivity of the Abrahamic traditions. In attempting to question this view, I investigate the developments of two key-concepts of Vedāntatradition –the concepts of Brahman (literally, the greatest) and Bhagavān (literally, (...) the possessor of all excellences) –in thethought of three famous vedantins: Śaṅkara, Rāmānuja and Jīva. (shrink)

Neste trabalho, é apresentada uma investigação do que poderia ser chamado de formalização lógica do processo de mudança de teorias devido a anomalias. Por anomalia entende-se um fato observado que faz parte do escopo explanatório de uma teoria, mas que vai de encontro à previsão da mesma. Uma abordagem clássica para restaurar o poder explicativo de uma teoria ameaçada por uma anomalia é a postulação de hipóteses novas e provisórias que, em conjunto com as demais hipóteses auxiliares originais, sejam capazes (...) de resolver a anomalia. Após chegar à algumas conclusões sobre a estrutura de tal processo, propomos um framework lógico multimodal e não-monotônico capaz de representar alguns aspectos-chave dessa faceta importante da dinâmica de teorias científicas. Devido à necessidade de acomodar hipóteses provisórias incompatíveis, esse framework incorpora uma forma fraca de paraconsistência. Como um estudo de caso, analisamos o comportamento anômalo do planeta Urano que ameaçou a mecânica celeste Newtoniana por mais de meio século e ensejou a descoberta do planeta Netuno. -/- In this work, an investigation of what could be called the logical formalization of the theory change process due to anomalies is presented. An anomaly is understood as an observed fact that is part of the explanatory scope of a theory, but that goes against its prediction. A classic approach to restoring the explanatory power of a theory threatened by an anomaly is to postulate new and provisional hypotheses that, together with the other original auxiliary hypotheses, are capable of resolving the anomaly. After reaching some conclusions about the structure of such a process, we propose a multimodal and non-monotonic logical framework capable of representing some key aspects of this important facet of the dynamics of scientific theories. Due to the need to accommodate incompatible provisional hypotheses, this framework incorporates a weak form of paraconsistency. As a case study, we analyze the anomalous behavior of the planet Uranus that threatened Newtonian celestial mechanics for more than half a century and prompted the discovery of the planet Neptune. (shrink)

Panentheism has seen a revival over the past two decades in the philosophical literature. This has partially triggered an interest in Indian models of God, which have traditionally been seen as panentheistic. On the other hand, panentheism has been often associated with panpsychism, an old ontological view that sees consciousness as fundamental and ubiquitous in the natural world and which has also enjoyed a renaissance in recent decades. Depending on where one places fundamentality (whether on the microlevel or on the (...) cosmic-level) there will be two types of panpsychism: micropsychism and cosmopsychism. Despite the apparently rich connection between Indian traditions and panpsychism, especially in its cosmopsychist version, recent work within cross-cultural analytic philosophy of mind seems to be mostly focused on atheistic traditions, such as Advaita Vedānta and Buddhism. My goal in this paper is to contribute to the cross-cultural debate over panentheism and Indian models of God, as well as to the debate on the connections between panpsychism, cosmopsychism and Indian traditions, by examining one of the most important and often quoted texts in Indian religious and philosophical traditions: the theistic Bhavagad Gītā. From a more specific standpoint, the paper has a threefold goal: to offer a panentheistic reconstruction of the Gītā’s concept of God, to show how this panentheistic model of God entails a form of theistic cosmopsychism, and to locate the Gītā’s cosmopsychism within a broader map of cosmopsychist views. Based on this reconstructive analysis of the Gītā’s cosmopsychism, I also outline some few reflections on the philosophical prospects of theistic cosmopsychism. (shrink)

Since its inception, a core aspiration of deliberative democracy has been to enable more and better inclusion within democratic politics. In this article, we argue that deliberative democracy can achieve this aspiration only if it goes beyond verbal forms of communication and acknowledges the crucial role of non-verbal communication in expressing and exchanging arguments. The article develops a multidimensional approach to deliberative democracy by emphasizing the visual, sonic and physical dimensions of communication in public deliberation. We argue that non-verbal modes (...) of communication can contribute to public deliberation when they (1) are used as part of reason-giving processes, (2) enable the inclusion of marginalized actors in public debates and (3) induce reflection and encourage new ways of thinking about the public controversies at hand. (shrink)

Animal replaceability is supposed to be a feature of some consequentialist theories, like Utilitarianism. Roughly, an animal is replaceable if it is permissible to kill it because the disvalue thereby caused will be compensated by the value of a new animal’s life. This is specially troubling since the conditions for such compensation seem easily attainable by improved forms of raising and killing animals. Thus, grounding a strong moral status of animals in such theories is somewhat compromised. As is, consequently, their (...) position as an alternative to rights-based theories in animal ethics. Recognising this, some utilitarians tried to disassociate utilitarianism and replaceability. I will here add my voice to this project. However, instead of seeing the culprit in the usual suspects (hedonism, maximisation or the total view), I advance a new proposal. After identifying that the compensating value for a disvaluable action has to be its consequence, I present a restriction on consequences: consequences of sequences of actions cannot be consequences of the isolated actions in the sequences. Given this, the main argument is simple: killing an animal is permissible only if the the value of the new animal’s life is a consequence of the killing; but this value is a consequence of a sequence of actions which involves the killing plus some additional actions; therefore, since, via the restriction, such value is not a consequence of the killing, it is irrelevant to its normative status. I then present two further motivations for the restriction: firstly, it prevents the value of conditional actions from trivially influencing the value of the actions on which they are conditional; secondly, it is useful – even if not a complete solution – to reply other objections to consequentialism: the accordion effect of action and the cluelessness problem. I finally consider a couple of objections. (shrink)

El Realismo Científico Estándar sostiene el enfoque metafísico de que el mundo es como es independiente de la mente. Sin embargo, el presente artículo demuestra cómo esta postura es incompatible con todas las teorías no-eliminativistas sobre la mente, lo cual hace que la postura sea inconsistente, incompatible con la ciencia, elimina la consciencia, la intencionalidad, la causación mental y la ética. Se propone una tesis realista alternativa que conserva la idea de que el mundo en general es de la forma (...) que es, independiente de lo que pensemos sobre él, compatible con la mente como parte real del mundo. Este cambio restaura la posibilidad de consistencia, la mente, la consciencia, la intencionalidad, la ciencia y la ética. -/- Standard Scientific Realism holds the metaphysical view that the world is the way it is independent of the mind. However, this paper demonstrates how this view is incompatible with all non-eliminativist theories of mind, leading it to be inconsistent, incompatible with science, and eliminating consciousness, intentionality, mental causation and ethics. An alternative realist thesis is proposed which preserves the idea that generally the world is the way it is independent of what we think of it, compatible with mind as a real part of the world. This reform restores the possibility of consistency, mind, consciousness, intentionality, science and ethics, while at the same time preserving the theoretical advantages over non-realist competitors. (shrink)

This paper introduces the special issue on Formal Approaches to the Ontological Argument of the Journal of Applied Logics (College Publications). The issue contains the following articles: Formal Approaches to the Ontological Argument, by Ricardo Sousa Silvestre and Jean-Yves Béziau; A Brief Critical Introduction to the Ontological Argument and its Formalization: Anselm, Gaunilo, Descartes, Leibniz and Kant, by Ricardo Sousa Silvestre; A Mechanically Assisted Examination of Begging the Question in Anselm’s Ontological Argument, by John Rushby; A Tractarian Resolution (...) to the Ontological Argument, by Erik Thomsen; On Kant’s Hidden Ambivalence Toward Existential Generalization in his Critique of the Ontological Argument, by Giovanni Mion; The Totality of Predicates and the Possibility of the Most Real Being, by Srećko Kovač; An Even More Leibnizian Version of Gödel’s Ontological Argument, by Kordula Świętorzecka and Marcin Łyczak; A Case Study On Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument, by David Fuenmayor. (shrink)

The so-called theory of karma is one of the distinguishing aspects of Hinduism and other non-Hindu south-Asian traditions. At the same time that the theory can be seen as closely connected with the freedom of will and action that we humans supposedly have, it has many times been said to be determinist and fatalist. The purpose of this paper is to analyze in some deepness the relations that are between the theory of karma on one side and determinism, fatalism and (...) free-will on the other side. In order to do that, I shall use what has been described as the best formal approach we have to indeterminism: branching time theory. More specifically, I shall introduce a branching time semantic framework in which, among other things, statements such as “state of affairs e is a karmic effect of agent a”, “a wills it to be the case that e” and “e is inevitable” could be properly represented. (shrink)

Our purpose in this paper is to contribute to the project of meta-theodicy, understood here as the elucidation of the concept of theodicy through the analysis of its adequacy. In our case, the analysis shall be made inside a framework including a taxonomical view of the theodical adequacy conditions which allows for a rigorously acceptable description of them as well as for a natural appraisal of the role, importance and intra-logical relations holding between them. The result of the analysis shall (...) be used to introduce definitions minimally precise of the notions of theodicy, satisfactory theodicy, plausible theodicy, ideal theodicy, and the like. (shrink)

When evidence-based policymaking is so often mired in disagreement and controversy, how can we know if the process is meeting its stated goals? We develop a novel mathematical model to study disagreements about adequate knowledge utilization, like those regarding wild horse culling, shark drumlines and facemask policies during pandemics. We find that, when stakeholders disagree, it is frequently impossible to tell whether any party is at fault. We demonstrate the need for a distinctive kind of transparency in evidence-based policymaking, which (...) we call transparency of reasoning. Such transparency is critical to the success of the evidence-based policy movement, as without it, we will be unable to tell whether in any instance a policy was in fact based on evidence. (shrink)

Dear Editors, -/- I found the content of your editorials to be highly intriguing [1,2]. Scientific journals are witnessing a growing prevalence of publications related to artificial intelligence (AI). Three letters to the editor were recently published in your journal [3-5]. The renowned journal Nature has dedicated approximately 25 publications solely to the subject of ChatGPT. Moreover, a quick search on Pubmed using the term "ChatGPT" yields around 900 articles, with the vast majority originating in 2023. These statistics underscore the (...) substantial interest of the scientific community in this area. -/- AI, especially the ChatGPT tool and the recent Bard, have faced criticism and been portrayed as significant adversaries of science. It is evident that many authors or researchers, who may not be well-versed in writing, can greatly benefit from these tools, as mentioned earlier. Without taking a contrarian stance, one should consider the potential advantages of such technologies for researchers in less privileged regions, where access to new technologies is limited, and local or regional challenges abound [6]. AI cannot be confounded with other technologies, as it specifically focuses on replicating human-like intelligence and decision-making processes, rather than simply automating tasks or improving performance based on data patterns. -/- The translation into English poses challenges due to the dominance of English in worldwide publications, with over 95% of articles being published in this language, and even reaching 98% in some fields. Although this manuscript was partially translated using AI, it can still benefit researchers from non-native English regions. Even simple tasks like text editing can be problematic for researchers in underprivileged areas. AI can play a crucial role in the evolution of online lectures and classes, providing valuable support for African maxillofacial surgeons who lack the luxury of taking breaks from work to update their knowledge, as they may be the only available option [7]. One of the remarkable features of AI is its ability to discover knowledge gaps. The use of simple tools like reference organizers is rapidly evolving and can become automated or semi-automated through AI. However, we must carefully consider whether we should refrain from relying too heavily on AI in certain cases, as this could be seen as a significant regression. -/- On the other hand, we must be cautious about freely allowing AI tools to circulate in scientific journals and books without proper regulation [8]. Currently, accurately identifying texts generated by AI is challenging, and their effectiveness remains relatively low, at less than 30%. This means that only about 30 out of every 100 texts can be confidently classified as AI-generated. The technology must advance further to increase detection accuracy or at least raise suspicion. Academic journals no longer view authors acknowledging artificial intelligence tools as co-authors in their research favorably. This is crucial to prevent certain unscrupulous individuals, such as "false prophets," charlatans, and flat-earthers, from infiltrating the realm of science, potentially impeding the progress of serious research conducted by professionals dedicated to advancing humanity through science. -/- It is essential to keep in mind that AI does not generate anything novel. Human authors can not be fully substituted [9]. In research involving groundbreaking concepts, innovations, case reports, or technical notes, the use of AI tends to be less frequent due to its lack of capability in creating innovative outcomes. On the other hand, reviews, whether narrative, systematic, or scoping, are based on existing publications. To address potential fraudulent practices, editors, reviewers, and journals themselves should exercise greater vigilance and apply more stringent filters for this type of publication. -/- An article from over a decade ago already discussed the professions most susceptible to replacement by computerization [10]. Maxillofacial surgeons, physicians, dentists, and psychologists are among the professions that are less likely to be displaced. This position can be attributed to the significant level of patient-professional interaction, the development of specific manual skills over time, and the ability to make adaptable decisions during procedures. These intricacies pose formidable challenges for AI to grasp, regardless of its level of advancement. -/- We should maintain a composed yet vigilant stance at this juncture. Just as Portuguese navigators feared encountering serpents and sea monsters when they ventured into uncharted waters, the uncertainty and novelty of AI can evoke apprehension in us all. Nonetheless, we must embrace the benefits that AI can offer while imposing strict regulations and appropriate penalties to prevent any potential abuses carried out "in the name of science." -/- Sincerely yours,. (shrink)

This paper suggests the democratic direction in which the right of freedom of expression should be conceived and applied. In the first two sections it suggests some counter-examples to, and diagnoses of, the libertarian and liberal conceptions of freedom of expression, taking Scanlon (1972) and Scanlon (1979), respectively, to be their chief proponents. The paper suggests that these conceptions cannot take into account clear examples, like fraudulent propaganda, which should not be legal. The democratic conception takes it to heart that (...) the pillars upon which the right of freedom of expression is founded are individual and collective autonomy, the right to know facts of public interest and information necessary for effective democratic control of government. The paper suggests that in a time when private powers seriously threaten these pillars, it is correct for the government to step in to provide the framework in which genuine discussion geared toward fulfilling the objectives of these pillars can take place. (shrink)

In this essay, I focus on Lugones’s relatively lesser explored notion of playfulness. I weigh in on the debate about whether playfulness is necessary for what Lugones calls “world-traveling,” which enables one to recognize another person as a full subject. I argue that although the attribute of playfulness may not be necessary for world-traveling, it is necessary for collaborative world-making––creating a new, shared world that is opened through the activity of play.

Inspired by the early Wittgenstein’s concept of nonsense (meaning that which lies beyond the limits of language), we define two different, yet complementary, types of nonsense: formal nonsense and pragmatic nonsense. The simpler notion of formal nonsense is initially defined within Tarski’s semantic theory of truth; the notion of pragmatic nonsense, by its turn, is formulated within the context of the theory of pragmatic truth, also known as quasi-truth, as formalized by da Costa and his collaborators. While an expression will (...) be considered formally nonsensical if the formal criteria required for the assignment of any truth-value (whether true, false, pragmatically true, or pragmatically false) to such sentence are not met, a (well-formed) formula will be considered pragmatically nonsensical if the pragmatic criteria (inscribed within the context of scientific practice) required for the assignment of any truth-value to such sentence are not met. Thus, in the context of the theory of pragmatic truth, any (well-formed) formula of a formal language interpreted on a simple pragmatic structure will be considered pragmatically nonsensical if the set of primary sentences of such structure is not well-built, that is, if it does not include the relevant observational data and/or theoretical results, or if it does include sentences that are inconsistent with such data. (shrink)

Detractors of Searle’s Chinese Room Argument have arrived at a virtual consensus that the mental properties of the Man performing the computations stipulated by the argument are irrelevant to whether computational cognitive science is true. This paper challenges this virtual consensus to argue for the first of the two main theses of the persons reply, namely, that the mental properties of the Man are what matter. It does this by challenging many of the arguments and conceptions put forth by the (...) systems and logical replies to the Chinese Room, either reducing them to absurdity or showing how they lead, on the contrary, to conclusions the persons reply endorses. The paper bases its position on the Chinese Room Argument on additional philosophical considerations, the foundations of the theory of computation, and theoretical and experimental psychology. The paper purports to show how all these dimensions tend to support the proposed thesis of the persons reply. (shrink)

This paper is a follow-up of the first part of the persons reply to the Chinese Room Argument. The first part claims that the mental properties of the person appearing in that argument are what matter to whether computational cognitive science is true. This paper tries to discern what those mental properties are by applying a series of hypothetical psychological and strengthened Turing tests to the person, and argues that the results support the thesis that the Man performing the computations (...) characteristic of understanding Chinese actually understands Chinese. The supposition that the Man does not understand Chinese has gone virtually unquestioned in this foundational debate. The persons reply acknowledges the intuitive power behind that supposition, but knows that brute intuitions are not epistemically sacrosanct. Like many intuitions humans have had, and later deposed, this intuition does not withstand experimental scrutiny. The second part of the persons reply consequently holds that computational cognitive science is confirmed by the Chinese Room thought experiment. (shrink)

In this paper, I argue that the cleavage between the theory of reference and the theory of meaning, which under the influence of Quine has dominated a large part of the philosophy of language of the last fifty years, is based on a misrepresentation of Tarski's achievement and on an overestimation of the scope and value of disquotation. In particular, I show that, if we accept Davidson's critique of disquotation, the same kind of reasons that Quine offered in opposition to (...) the Carnapian theory of meaning also apply, mutatis mutandis, to the Tarskian theory of reference. (shrink)

The semantic paradoxes are a family of arguments – including the liar paradox, Curry’s paradox, Grelling’s paradox of heterologicality, Richard’s and Berry’s paradoxes of definability, and others – which have two things in common: first, they make an essential use of such semantic concepts as those of truth, satisfaction, reference, definition, etc.; second, they seem to be very good arguments until we see that their conclusions are contradictory or absurd. These arguments raise serious doubts concerning the coherence of the concepts (...) involved. This article will offer an introduction to some of the main theories that have been proposed to solve the paradoxes and avert those doubts. Included is also a brief history of the semantic paradoxes from Eubulides to Tarski and Curry. (shrink)

This work, in English "Struggle for power, organic crisis and judicial independence", has its origin in research academics of the IAEN carried out to provide expert advise to the Inter American Court of Human Rights in the case Quintana and others (Supreme Court of Justice) vs the State of Ecuador. The research is about the nature of the evolution of the ecuadorian state, the dynamics of its institutions, its players, parties, laws, its factors of instability, the way rights have been (...) deployed since the return to democracy in 1979, those who have benefited from neoliberal democracy and those who have paid the costs, and where in all this was the Supreme Court of Justice. The Introduction takes a look at this origin of the work and its intellectual import, provides a brief characterization of the Inter American Sistem of Human Rights Protection, how the Quintana Case fits within it, and an overview of the chapters and their logic. The first chapter analyzes the institutional and sociological factors that have contributed to Ecuador's historically unstable state, based primarily in an antagonistic struggle for power between the Executive and Legislative branches. The second chapter analyzes the economic and political factors that provoked an organic crisis, or crisis of hegemony, between 1997 and 2007 in Ecuador. The third chapter analyzes the evolution of the way in which judges are selected in Europe, the outcomes they have generated, and how they compare with the ecuadorian systems of judge selection in terms of securing judicial independence. The fourth chapter develops a theory of judicial independence in democracy and analyzes how Ecuador measures up to that standard, from when it became a neoliberal minimal democracy in 1981, to when it became a neoliberal false democracy as a consequence of instalation of a system evidently lacking in the people's support under the guise of the 1998 Constitution and its system of judge selection, and the new democratic horizons set by the 2008 Constitution, and the judicial system that springs from it. (shrink)

The thesis develops solutions to two main problems for mental realism. Mental realism is the theory that mental properties, events, and objects exist, with their own set of characters and causal powers. The first problem comes from the philosophy of science, where Psillos proposes a notion of scientific realism that contradicts mental realism, and consequently, if one is to be a scientific realist in the way Psillos recommends, one must reject mental realism. I propose adaptations to the conception of scientific (...) realism to make it compatible with mental realism. In the process, the thesis defends computational cognitive science from a compelling argument Searle can be seen to endorse but has not put forth in an organized logical manner. A new conception of scientific realism emerges out of this inquiry, integrating the mental into the rest of nature. The second problem for mental realism arises out of non-reductive physicalism- the view that higher-level properties, and in particular mental properties, are irreducible, physically realized, and that physical properties are sufficient non-overdetermining causes of any effect. Kim’s Problem of Causal Exclusion aims to show that the mental, if unreduced, does no causal work. Consequently, given that we should not believe in the existence of properties that do not participate in causation, we would be forced to drop mental realism. A solution is needed. The thesis examines various positions relevant to the debate. Several doctrines of physicalism are explored, rejected, and one is proposed; the thesis shows the way in which Kim’s reductionist position has been constantly inconsistent throughout the years of debate; the thesis argues that trope theory does not compete with a universalist conception of properties to provide a solution; and shows weakness in the Macdonald’s non-reductive monist position and Pereboom’s constitutional coincidence account of mental causation. The thesis suggests that either the premises of Kim’s argument are consistent, and consequently his reductio is logically invalid, or at least one of the premises is false, and therefore the argument is not sound. Consequently, the Problem of Causal Exclusion that Kim claims emerges out of non-reductive physicalism does not force us to reject mental realism. Mental realism lives on. (shrink)

Em analogia com outras discriminações, como o racismo ou o sexismo, o especismo é concebido como uma forma de discriminação moral com base na espécie. Em grande medida, a discussão contemporânea sobre a importância moral dos animais surgiu e desenvolveu-se em torno da crítica e da defesa do especismo. Este artigo oferece uma visão da discussão filosófica contemporânea sobre o especismo. Após uma breve introdução, apresenta-se uma definição de especismo e caracterizam-se vários tipos de especismo, sendo o Antropocentrismo o mais (...) relevante. Depois, expõe-se um argumento proeminente contra o Antropocentrismo: o argumento dos casos marginais. Por fim, algumas posições antropocêntricas são criticamente discutidas. (shrink)

Cette étude défend l’idée que, contrairement à l’opinion de Latour sur la nécessité de laisser de côté l’épistémologie pour traiter de tout ce qui a de la valeur pour la science, Mario Bunge a systématiquement construit une épistémologie détaillée et approfondie. La stratégie argumentative consistera à montrer (a) qu’il est faux que nous n’avons jamais été modernes (b) que l’épistémologie est là pour de bon et (c) que Mario Bunge soutient un réalisme scientifique fort, une version du matérialisme, du systémisme (...) et de l’émergentisme, comportant une dimension morale (il existe des valeurs objectives comme la vérité, la paix et la justice qui méritent d’être étudiées). Ensuite, le réalisme de Bunge rejette la neutralité axiologique rendant les scientifiques responsables de leurs actions. Bunge a toujours été moderne et continue à enrichir ses propres positions. (shrink)

he general theme of this paper is the issue of formalization in philosophy; in a more specific way, it deals with the issue of formalization of arguments in analytic philosophy of religion. One argument in particular – Anselm’s Proslogion II ontological argument – and one specific attempt to formalize it – Robert Adams’ formalization found in his paper “The Logical Structure of Anselm’s Arguments”, published in The Philosophical Review in 1971 – are taken as study cases. The purpose of the (...) paper is to critically analyze Adams’ formalization with the intent to shed some light on the following questions: What are the virtues of formally analyzing arguments and the contributions, if any, of such an enterprise to the debate on Anselm’s argument? Which lessons can Adam’s work teach us about the dangers and limitations of formalization? Do these virtues and dangers teach us something about analysis of arguments in general? (shrink)

The terms “model” and “model-building” have been used to characterize the field of formal philosophy, to evaluate philosophy’s and philosophical logic’s progress and to define philosophical logic itself. A model is an idealization, in the sense of being a deliberate simplification of something relatively complex in which several important aspects are left aside, but also in the sense of being a view too perfect or excellent, not found in reality, of this thing. Paraconsistent logic is a branch of philosophical logic. (...) It is however not clear how paraconsistent logic can be seen as model-building. What exactly is modeled? In this paper I adopt the perspective of looking at a particular instance of paraconsistent logic—paranormal modal logic—which might be seen as a model of a specific kind of agent: inductive agents. After ntroducing what I call the highlevel and low-level models of inductive agents, I analyze the extent to which the above-mentioned idealizing features of model-building appear in paranormal modal logic and how they affect its philosophical significance. (shrink)

Ao mesmo tempo que o malogro da assim chamada teoria clássica dos conceitos - de acordo com a qual definições são a maneira apropriada de caracterizar conceitos - é um consenso, a filosofia metafísica da religião parece ainda lidar com o conceito de Deus de forma predominantemente definicional. Podemos então nos perguntar: Seria esse malogro suficiente para inviabilizar uma caracterização definicional do conceito de Deus? Meu propósito central neste artigo é responder essa pergunta. Adoto uma ênfase representacional. Em outras palavras, (...) desejo analisar até que ponto os problemas mais importantes levantados contra a teoria clássica dos conceitos afetam uma abordagem definicional-representacional do conceito de Deus. Como resultado desse esforço, mostro que as críticas à teoria clássica que ameaçam tal abordagem dependem da pluralidade característica ao contexto inter-religioso, que por si só cria outros problemas. (shrink)

It is a fact that there is ethical criticism about art. Art critics, the general public and even artists point out moral flaws in artworks while evaluating them. Philosophers, however, have maintained a hot debate on the meaning of such criticism. This debate can be understood as a disagreement about the kind of relation between the artistic value of artworks and their alleged moral value. While some claim that moral value can contribute to artistic value (moralism), others claim that there (...) cannot be such a contribution (autonomism). Since at least some works of architecture are artworks, that debate also concerns architecture. A moderate moralist view claims that some works of architecture have moral flaws/merits that bear on their artistic evaluation. In an apparently promising version, the contention is that some moral flaws/merits are aesthetically relevant. In this paper I argue against such contention and defend an autonomist view. Following some taxonomy remarks I distinguish the views in the debate and present two points in favour of autonomism: its simplicity and not having the burden of proof. Then I discuss Carroll’s merited response argument for moralism and I argue that in its best interpretation either it begs the question against autonomism or it is compatible with it. I conclude with some possible objections that may help further investigations on the subject. (shrink)

Most words in natural language are vague, that is to say, they lack sharp boundaries and, hence, they have (actual or potential) borderline cases, where the word in question neither definitely applies nor definitely fails to apply. Vagueness gives rise to paradoxes, the best known of which is the sorites (concerned with how many grains of sand are needed to make a heap). Besides offering a solution to such paradoxes, a theory of vagueness should systematically describe how the truth conditions (...) of sentences with vague terms are determined; and it should also define the right logical principles for reasoning with such sentences. This article offers an introduction to the main theories of vagueness and to the problems they have to face. (shrink)

Este livro se propõe a ser uma introdução fácil e acessível, porém rigorosa e tecnicamente precisa, à lógica. Prioridade é dada à clareza e lucidez na explicação das definições e teoremas, bem como à aplicação prática da lógica na análise de argumentos. O livro foi concebido de forma a permitir sua utilização por qualquer pessoa interessada em aprender lógica, independentemente de sua área de atuação ou bagagem teórica prévia. Em especial, ele deve ser útil a estudantes e professores de filosofia, (...) computação e matemática. (shrink)

This book analyses the concepts of God in Vaisnavism, which is commonly referred to as one of the great Hindu monotheistic traditions. Addressing the question of what attributes God possesses according to particular textual sources and traditions in Vaisnavism, the book analyses Vaisnava traditions and texts in order to locate them within a global philosophical framework. The book is divided into two sections. The first one, God in Vaisnava Texts, deals with concepts of God found in the canonical Vaisnava texts: (...) the Bhavagad Gita, the Bhagavata Purana, the Pancaratras, and the Mahabharata. The second section, God in Vaisnava Traditions, addresses concepts of God found in several Vaisnava traditions and their respective key theologians. As well as the Alvars, five traditional Vaisnava schools- the Sri Vaisnava tradition, the Madhva tradition, the Nimbarka tradition, the Pustimarga tradition, and the Caitanya Vaisnava tradition- and two contemporary ones Ramakrishna's and Swami Bhaktivedanta's are considered. The book combines normative, critical and descriptive elements. Some chapters are philosophical in nature, others are more descriptive, unpacking a specific Vaiṣṇava concept of God for future philosophical analysis and critique. Written by experts who break new ground in presenting and representing a diversity of Vaiṣṇava texts and tradition, the book presents approaches that reflect the amount of philosophical and historical deliberation on the specific issues and divine attributes considered. This book will be of interest to researchers in the fields of philosophy of religion and Indian philosophy, cross-cultural and comparative philosophy, analytic philosophy of religion, Hindu studies, theology and religious studies. (shrink)

POLITICO Studio speaks with Ricardo Marek, President Europe and Canada at Takeda Pharmaceuticals, on why rare diseases need to be a public health priority, and how Europe can remain a leader in life sciences.

This paper introduces the special issue on the Concept of God of the Journal of Applied Logics (College Publications). The issue contains the following articles: Logic and the Concept of God, by Stanisław Krajewski and Ricardo Silvestre; Mathematical Models in Theology. A Buber-inspired Model of God and its Application to “Shema Israel”, by Stanisław Krajewski; Gödel’s God-like Essence, by Talia Leven; A Logical Solution to the Paradox of the Stone, by Héctor Hernández Ortiz and Victor Cantero; No New Solutions (...) to the Logical Problem of the Trinity, by Beau Branson; What Means ‘Tri-’ in ‘Trinity’ ? An Eastern Patristic Approach to the ‘Quasi-Ordinals’, by Basil Lourié; The Éminence Grise of Christology: Porphyry’s Logical Teaching as a Cornerstone of Argumentation in Christological Debates of the Fifth and Sixth Centruies, by Anna Zhyrkova; The Problem of Universals in Late Patristic Theology, by Dirk Krasmüller; Intuitionist Reasoning in the Tri-unitrian Theology of Nicolas of Cues, by Antonino Drago. (shrink)

In this paper we present a characterization of hyper-connexivity by means of a relating semantics for Boolean connexive logics. We also show that the minimal Boolean connexive logic is Abelardian, strongly consistent, Kapsner strong and antiparadox. We give an example showing that the minimal Boolean connexive logic is not simplificative. This shows that the minimal Boolean connexive logic is not totally connexive.

Este artículo brinda algunas respuestas y alternativas a ciertos problemas y propuestas en el área de la teoría democrática. El ensayo tiene como enfoque la cuestión de distinguir sistemas que pueden parecer democráticos sin serlo de sistemas realmente democráticos. Develando algunos actores disfrazados del discurso democrático en América Latina, el artículo argumenta que es preferible la regla de la mayoría como base para la identificación del bien común por medio del interés general, que reglas de minorías, consentimiento total o bases (...) constitucionales opuestas al gobierno de la mayoría. Esto se hace sin desestimar a las minorías ni las constituciones, ni lo ideal de la unanimidad. Simplemente las ubica. La investigación incluye una nueva respuesta al problema de la supuesta irracionalidad de la democracia identificada originalmente por Platón y después formalizada por Arrow. (shrink)

In this paper we investigate if sentences presented as the result of the application of statistical models and artificial intelligence to large volumes of data – the so-called ‘Big Data’ – can be characterized as semantically true, or as quasi-true, or even if such sentences can only be characterized as probably quasi-false and, in a certain way, post-true; that is, if, in the context of Big Data, the representation of a data domain can be configured as a total structure, or (...) as a partial structure provided with a set of sentences assumed to be true, or if such representation cannot be configured as a partial structure provided with a set of sentences assumed to be true. (shrink)

The region of South East Asia has developed over the past several years as one of the most rapidly growing aviation markets in the world. Despite the latest economic recession around the world, South East Asia is still reaching substantial growth. With the amount of flexible income increasing for the most inhabitants of the region, the aviation trade can expect to continue this movement. Singapore has been the dominant hub in the region for many years, however, Vietnam is contemplating the (...) practicality of investing in a new airport that they hope would eventually challenge Singapore’s current superiority. (shrink)

This paper seeks to point the epistemic aspects of obstetric violence. In order to do so, we will introduce the concept of epistemic injustice, as developed by Miranda Fricker, and how it has been used by the social epistemology literature to think about health issues. Subsequently, we will examine reports of cases of obstetric violence as well as a case of forced sterilization, by reviewing the Final Report of the CPMI on the incidence of mass sterilization of women in Brazil, (...) as well as papers that describe cases of obstetric violence. Thus, we aim to point out that there is an epistemic aspect to such violations and that a change in the distribution of credibility may be relevant to confront obstetric violence. (shrink)

Bolzano propôs uma teoria da verdade que se diferencia das restantes por defender que as proposições são objetivas (não são juízos nem frases) e, consequentemente, que também as proposições verdadeiras (e as falsas) são objetivas (não constituem a correspondência entre um juízo/uma frase e um facto objetivo nem uma qualquer relação entre juízos/frases). Para além disso, considero que propõe uma teoria metafísica da correspondência (à qual não adiro), de acordo com a qual a verdade consiste na correspondência entre uma proposição (...) objetiva e um facto. (shrink)

Neste trabalho, avaliamos as implicações que o debate filosófico acerca das explicações em termos de função e objetivo podem ter no contexto educacional, particularmente no ensino e aprendizagem de biologia. Para alcançar este objetivo, investigamos como três obras didáticas de biologia do Brasil utilizam a linguagem teleológica na formulação de explicações para os assuntos que são objeto de estudo dessa ciência. Na análise das obras, exploramos os enunciados teleológicos e funcionais a partir de dois projetos explanatórios discutidos na filosofia da (...) biologia contemporânea, a saber: (i) etiológico, que fornece uma abordagem essencialmente histórica de explicação biológica; e (ii) organizacional, que orienta o estudo acerca das capacidades de sistemas complexos mediante o apelo às funções de seus componentes, ou seja, a contribuição das partes para a realização de uma capacidade global. Nossos resultados mostram que poucas explicações podem ser qualificadas como etiológicas, em razão de que os autores preterem a discussão de temas segundo um tratamento evolutivo. Associado a esse resultado, a maioria dos enunciados foi localizada no contexto do projeto organizacional de explicação científica. Na análise das explicações, destacamos os principais problemas que elas apresentam, como a falta de clareza na identificação do explanandum e explanans, situação que pode prejudicar a compreensão dos assuntos pelos estudantes. Por fim, colocamos que a recontextualização das duas abordagens centrais sobre as explicações funcionais na filosofia da biologia, a perspectiva etiológica e a organizacional, podem fornecer um embasamento epistemológico consistente para as explicações biológicas no ensino médio. (shrink)